Grunwald, A., Sax, H. (Hrsg.): Technikbeurteilung in der Raumfahrt. Anforderungen, Methoden, Wirkungen

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Methoden zur Adaptiven Anpassung von EPKs an Individuelle Anforderungen vor der Abarbeitung

In diesem Artikel werden Methoden vorgestellt, wie Prozessmodelle an individuelle Anforderungen vor der Abarbeitung des Workflows angepasst werden können. Bei vielen Prozessen entscheidet sich dann, welche Teile von der zugehörigen Ereignisgesteuerten Prozesskette (EPK) ausgeführt werden und welche nicht. Beispielsweise entscheidet der Kunde zu diesem Zeitpunkt häufig, welche von den angebotene...

متن کامل

Formale Methoden der Künstlichen Intelligenz

Aufgrund der zunehmenden Komplexität von Hardund Softwaresystemen werden computergestützte formale Methoden in der Zukunft immer weiter an Bedeutung zunehmen. Aufgabe dieser Methoden ist es, menschlichen Benutzern bei der Verifikation und Synthese von Computersystemen auf intelligente Weise zu assistieren. In diesem Artikel werden Ziele, Herausforderungen und Entwicklungen im Bereich formaler M...

متن کامل

Navigation in der Leberchirurgie - Anforderungen und Lösungsansatz

Vorgestellt werden die klinischen und technischen Anforderungen für ein computergestütztes Navigationssystem in der Leberchirurgie. Ein Lösungsansatz zur Navigation in der Leberchirurgie wird im Kontext intraoperativer Rahmenbedingungen diskutiert. Die medizinischen Anforderungen wurden an mehreren chirurgischen Zentren erhoben. Offene und laparoskopische Operationstechniken stellen jeweils spe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: TATuP - Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis

سال: 1994

ISSN: 2199-9201,1619-7623

DOI: 10.14512/tatup.3.4.30